Tractable Correct Planning for an Assembly Line

نویسندگان

  • Inger Klein
  • Peter Jonsson
چکیده

The industry asks for formal, eecient methods for tackling dynamic systems of combinatorial nature, eg. error recovery in industrial processes. As an application example, we have used a minituare assembly line that assembles toy cars|a process that has many similarities with real industrial processes. We have tried to apply one of our provably correct, polynomial-time planning algorithms to plan for this assembly line. Analysing why this did not work provided insight into the inherent structure of the process. This was used as feedback for modifying the theory and extending the previous theoretical results. This resulted in a new provably correct, polynomial-time planner which is suucient for this application.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Presented at the IJCAI Workshop Intelligent Manufacturing Systems Montreal Canada Tractable Correct Planning for an Assembly Line

The industry asks for formal e cient methods for tackling dy namic systems of combinatorial nature eg error recovery in indus trial processes As an application example we have used a minituare assembly line that assembles toy cars a process that has many sim ilarities with real industrial processes We have tried to apply one of our provably correct polynomial time planning algorithms to plan fo...

متن کامل

IOS Press Tractable Planning for an Assembly Line

The industry wants formal methods for dealing with combinatorial dynamical systems that are provably correct and fast One example of such problems is error recovery in industrial processes We have used a provably correct polynomial time planning algorithm to plan for a miniature assembly line which assembles toy cars Although somewhat limited this process has many similarities with real industr...

متن کامل

Tractable Planning for an Assembly Line

The industry wants formal methods for dealing with combinatorial dynamical systems that are provably correct and fast. One example of such problems is error recovery in industrial processes. We have used a provably correct, polynomial-time planning algorithm to plan for a miniature assembly line, which assembles toy cars. Although somewhat limited, this process has many similarities with real i...

متن کامل

Tractable Planning for an Assembly Line Inger

The industry wants formal methods for dealing with combinatorial dynamical systems that are provably correct and fast. One example of such problems is error recovery in industrial processes. We have used a provably correct, polynomial-time planning algorithm to plan for a miniature assembly line, which assembles toy cars. Although somewhat limited, this process has many similarities with real i...

متن کامل

Online Distribution and Load Balancing Optimization Using the Robin Hood and Johnson Hybrid Algorithm

Proper planning of assembly lines is one of the production managers’ concerns at the tactical level so that it would be possible to use the machine capacity, reduce operating costs and deliver customer orders on time. The lack of an efficient method in balancing assembly line can create threatening problems for manufacturing organizations. The use of assembly line balancing methods cannot balan...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995